Merge branch 'issue-302-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 21 May 2019 13:46:23 +0000 (13:46 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 21 May 2019 13:46:23 +0000 (13:46 +0000)
docs: Fix the override for GdkAtom

Closes #302

See merge request GNOME/gtk!864


Trivial merge